Software Verification – alle Bücher

Ihre Suche nach "software verification" ergab 5 Treffer

Anton Wijs, Marieke Huisman

Concise Guide to Software Verification

Texts in Computer Science

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Artikel merken

In den Warenkorb

Menge ändern

Guide to Software Verification with Frama-C

Computer Science Foundations and Applied Logic

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiqui…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 69,33*

Artikel merken

In den Warenkorb

Menge ändern

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science -Band 15222

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel merken

In den Warenkorb

Menge ändern

The Application of Formal Methods

Lecture Notes in Computer Science -Band 14900

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successf…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel merken

In den Warenkorb

Menge ändern

Douglas J Santry

Demystifying Deep Learning

Discover how to train Deep Learning models by learning how to build real Deep Learning software libraries and verification software! The study of Deep Learning and Artificial Neural Networks (ANN) is a si…

lieferbar innerhalb 1-2 Wochen

Buch

EUR 167,34*

Artikel merken

In den Warenkorb

Menge ändern